Nuprl Definition : frequency 11,40

frequency(f;x) ~ (p/q) == mk:j:. ((k < j) c |#{i<j|f i eq x}/j - p/q| < 1/m
latex



clarification:

frequency(eq;f;x;p;q) == m:k:j:. ((k < j) c |#{i<j|f i eq x}/j - p/q| < 1/m
latex


Definitionsx:AB(x), x:AB(x), , A c B, a < b, |a/b - p/q| < 1/m, #{i<j|f i eq x}
FDL editor aliasesfrequency

origin